A constructive approach to state description semantics
نویسندگان
چکیده
منابع مشابه
A Constructive Approach to Problem Frame Semantics
The Problem Frame approach (PF) is an effective requirements engineering tool for analysing and structuring software development problems. PF has a graphical notation that is easy to use and understand. PF imposes only loose constraints on the features of the language used to describe its components and, with only slight restrictions, Hoare’s CSP can be used. Although not generally applicable, ...
متن کاملA note on constructive semantics for description logics
Following the approaches and motivations given in recent works about constructive interpretation of description logics, we introduce the constructive description logic KALC. This logic is based on a Kripke-style semantics inspired by the Kripke semantics for Intuitionistic first order logic. In the paper we present the main features of our semantics and we study its relations with other approac...
متن کاملA Constructive Approach to the Resource Semantics of Substructural Logics
We propose a constructive approach to the resource semantics of substructural logics via proof-preserving translations into a fragment of focused first-order intuitionistic logic with a preorder. Using these translations, we can obtain uniform proofs of cut admissibility, identity expansion, and the completeness of focusing for a variety of logics. We illustrate our approach on linear, ordered,...
متن کاملA Finite-State Approach to Event Semantics
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite automata then amount to movie cameras/projectors, or more formally, to finite Kripke structures with partial valuations. The usual regular constructs (concatenation, choice, etc) are supplemented with superposition of string...
متن کاملMorpho semantics and Constructive Derivational Morphology A Transcategorial Approach
The dictionary making process we will exemplify has been tested and attested forMikrokos mos a knowledge based Machine Translation MT system based on semantics Nirenburg et al between Spanish and Japanese Our aim in this one year project has been to acquire a lexicon of about word meanings This implied to automate the task of acquisition as much as possible by giving the lexicographers access t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2003
ISSN: 1570-8683
DOI: 10.1016/s1570-8683(03)00003-x